Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
uml
2
code verification
1 ?
 21,213,375 websites (safe search)

  1. PolySpace Products for Embedded Software Verification - Ada, C/C++, Simulink, Model-Based Design, UML, TargetLink, Rhapsody

    PolySpace products verify C, C++, and Ada embedded code by detecting run-time errors before code is compiled and executed. This advanced verification technology ...
    C++3
    Ada2
    UML2
    Rhapsody1
    Simulink1
    bug detection1
    PolySpace1
    TargetLink1
    code verification1
    Model-Based Design1
    run-time errors1
    Embedded Software Verification1

    www.my-polyspace.com - 2009-04-02

java4 targetlink1 .net3 php5 model-based design1 data acquisition2 j2ee2 c++3 simulation2 html4 jsp2 simulink1 matlab1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.